A foundation for real recursive function theory
نویسندگان
چکیده
منابع مشابه
A foundation for real recursive function theory
The class of recursive functions over the reals, denoted by REC(R), was introduced by Cristopher Moore in his seminal paper written in 1995. Since then many subsequent investigations brought new results: the class REC(R) was put in relation with the class of functions generated by the General Purpose Analogue Computer of Claude Shannon; classical digital computation was embedded in several ways...
متن کاملA real-time recursive dynamic model for vehicle driving simulators
This paper presents the Real-Time Recursive Dynamics (RTRD) model that is developed for driving simulators. The model could be implemented in the Driving Simulator. The RTRD can also be used for off-line high-speed dynamics analysis, compared with commercial multibody dynamics codes, to speed up mechanical design process. An overview of RTRD is presented in the paper. Basic models for specific ...
متن کاملA Lemma Driven Automatic Theorem Prover for Recursive Function Theory
We d e s c r i b e work in p r o g r e s s on an a u t o m a t i c theo rem p r o v e r f o r r e c u r s i v e f u n c t i o n t h e o r y t h a t w e i n t e n d t o a p p l y i n t h e a n a l y s i s ( i n c l u d i n g v e r i f i c a t i o n and t r a n s f o r m a t i o n ) o f u s e f u l computer p r o g r a m s . The m a t h e m a t i c a l t h e o r y o f ou r theorem p r o v e r i s...
متن کاملA Method of Function Space for Vertical Impedance Function of a Circular Rigid Foundation on a Transversely Isotropic Ground
This paper is concerned with investigation of vertical impedance function of a surface rigid circular foundation resting on a semi-infinite transversely isotropic alluvium. To this end, the equations of motion in cylindrical coordinate system, which because of axissymmetry are two coupled equations, are converted into one partial differential equation using a method of potential function. The g...
متن کاملA New Foundation for Support Theory
A new foundation is presented for the theory of subjective judgments of probability generally known as “Support Theory.” It is based on a new complementation operation that, unlike those of classical probability theory (settheoretic complementation) and classical logic (negation), does not satisfy the principle of The Law Of The Excluded Middle. Interrelationships between the new complementatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2009
ISSN: 0168-0072
DOI: 10.1016/j.apal.2009.01.013